『精度保証付き数値計算 (現代非線形科学シリーズ)』